Theoretische Informatik - Zusammenfassung
نویسندگان
چکیده
Wörter Ein Wort über das Alphabet Σ ist eine endliche (evtl. leere) Folge von Buchstaben aus Σ. Das leere Wort λ ist die leere Buchstabenfolge. Sie ist ein Wort über jedem Alphabet enthalten und es gilt |λ| = 0. Die Länge |w| eines Wortes w ist gegeben durch die totale Anzahl Buchstaben in w. Die Menge aller möglichen Wörter, die man mit 0 oder mehr Buchstaben aus Σ bilden kann, heisst Σ∗. Analog definiert man die Menge der Wörter mit einem oder mehr Buchstaben aus Σ als Σ. Es gilt: Σ = Σ∗ \ {λ}
منابع مشابه
Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser Coq
Zusammenfassung: Informatik-Studierende haben in der Mehrzahl Schwierigkeiten, einen Einstieg in die Theoretische Informatik zu finden und die Leistungsanforderungen in den Endklausuren der zugehörigen Lehrveranstaltungen zu erfüllen. Wir argumentieren, dass dieser Symptomatik mangelnde Kompetenzen im Umgang mit abstrakten und stark formalisierten Themeninhalten zugrunde liegen und schlagen vor...
متن کاملEin e-Lecture-System für die Theoretische Informatik
Es wird ein e-Lecture-System für die Theoretische Informatik vorgestellt, das seit drei Semestern an der RWTH Aachen für Vorlesungen der Automatentheorie erfolgreich eingesetzt wird. Grundlegende Zielsetzung war, eine einfach zu bedienende und flexible Infrastruktur zu schaffen. Im Zentrum stand dabei eine integrierte und flexibel einsetzbare Technik zur Vorbereitung und Präsentation des Kursma...
متن کاملSind theoretische Konzepte aus der Kognitiven Psychologie auf empirische Fragestellungen der Informatik übertragbar?
Die Notwendigkeit einer empirischen Überprüfung der Effektivität von softwaretechnischen Werkzeugen wird in der Informatik zunehmend anerkannt. Daher besteht auch das Bestreben, Methoden aus anderen empirischen Wissenschaften wie der Psychologie oder den Sozialwissenschaften auf Fragestellungen in der Informatik zu übertragen bzw. zu adaptieren. Die Absicht empirischer Untersuchungen ist dabei,...
متن کاملH-monotonically Computable Real Numbers
Xizhong Zheng∗1,2, Robert Rettinger3, and George Barmpalias4 1 Theoretische Informatik, BTU Cottbus, 03044 Cottbus, Germany. [email protected] 2 Dept. of Comput. Sci., Jiangsu University, Zhenjiang 212013, China 3 Theoretische Informatik II, FernUniversität Hagen, 58084 Hagen, Germany. [email protected] 4 School of Mathematics University of Leeds, Leeds LS2 9JT, U.K...
متن کامل